Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
71	Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:20:39 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Curry–Howard correspondence Logic Deduction Entailment
72	Full reduction in the face of absurdity Gabriel Scherer, Didier R´emy Gallium – INRIA October 28, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 06:28:38 Mathematical logic Computability theory Lambda calculus Proof theory Orbifold Natural deduction Theoretical computer science Models of computation Applied mathematics
73	From Exponential to Polynomial-time Security Typing via Principal Types Sebastian Hunt1 and David Sands2 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-01 05:21:51 Logical consequence Logical syntax Metalogic Natural deduction Logic Deduction Entailment
74	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
75	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
76	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics
77	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic
78	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
79	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
80	Prawitz’s proof-theoretic account of consequence John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:24:03 Logical consequence Critical thinking Propositional calculus Natural deduction Disjunctive syllogism Validity Entailment Philosophy of mathematics Inference Logic Deduction Arguments

UPDATE